@width: 10px;
@height: @width + 10px;
@bg-color: #f00;
#header {
	width: @width;
	height: @height;
	background-color: @bg-color;
}
